Steps Towards Commonsense-Driven Belief Revision in the Event Calculus

Recent extensions of the Event Calculus resulted in powerful formalisms, able to reason about a multitude of commonsense phenomena in causal domains, involving epistemic notions, functional fluents and probabilistic aspects, among others. Surprisingly, little attention has been paid to the problem of automatically revising (correcting) a Knowledge Base when an observation contradicts predictions regarding the world. Despite mature work on the related belief revision field, adapting such results for the case of action theories is non-trivial. This paper reports on ongoing work for addressing this problem by proposing a generic framework in the context of the Event Calculus, along with ASP encodings of the revision algorithm.